home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Benchmarks / nrev1.pl < prev    next >
Encoding:
Text File  |  1989-04-14  |  433 b   |  22 lines
  1.  
  2. /* Copyright (C) 1988, 1989 Herve' Touati, Aquarius Project, UC Berkeley */
  3.  
  4. %    naive reverse (nrev1)
  5. %    from Warren's thesis
  6.  
  7. main :-
  8.     list30(L),
  9.     nreverse(L,X),
  10.     write(X), nl.
  11.  
  12. nreverse([X|L0],L) :- nreverse(L0,L1), concatenate(L1,[X],L).
  13. nreverse([],[]).
  14.  
  15. concatenate([X|L1],L2,[X|L3]) :- concatenate(L1,L2,L3).
  16. concatenate([],L,L).
  17.  
  18. list30([1,2,3,4,5,6,7,8,9,10,11,12,
  19.     13,14,15,16,17,18,19,20,21,
  20.     22,23,24,25,26,27,28,29,30]).
  21.  
  22.